Fundraising September 15, 2024 – October 1, 2024 About fundraising
1

What is software?

Year:
2008
Language:
english
File:
PDF, 204 KB
english, 2008
2

Learning about application software by studying processes

Year:
2014
Language:
english
File:
PDF, 514 KB
english, 2014
4

ASSET: A life cycle verification and visibility system

Year:
1980
Language:
english
File:
PDF, 1.19 MB
english, 1980
6

Program testing techniques using simulated execution

Year:
1976
Language:
english
File:
PDF, 653 KB
english, 1976
8

Data Flow Analysis in Software Reliability

Year:
1976
Language:
english
File:
PDF, 2.04 MB
english, 1976
11

What we learn from the study of ubiquitous processes

Year:
2007
Language:
english
File:
PDF, 351 KB
english, 2007
12

Formalisms to Support the Definition of Processes

Year:
2009
Language:
english
File:
PDF, 700 KB
english, 2009
13

Some classes of uniquely 3-colorable graphs

Year:
1974
File:
PDF, 876 KB
1974
21

Resource Management for Complex, Dynamic Environments

Year:
2013
Language:
english
File:
PDF, 1.35 MB
english, 2013
37

Editorial

Year:
2005
Language:
english
File:
PDF, 24 KB
english, 2005
41

Efficient composite data flow analysis applied to concurrent programs

Year:
1998
Language:
english
File:
PDF, 1023 KB
english, 1998
44

Verifying properties of process definitions

Year:
2000
Language:
english
File:
PDF, 211 KB
english, 2000
45

Little-JIL

Year:
2000
Language:
english
File:
PDF, 276 KB
english, 2000
46

Containment units

Year:
2002
Language:
english
File:
PDF, 756 KB
english, 2002
48

FLAVERS

Year:
2000
Language:
english
File:
PDF, 271 KB
english, 2000